<?php
	echo "Dummy.";
?>

